Regenerate Makefile if Makefile.in or configure change

Based on rust's mk/reconfig.mk

Fixes #587 and #1993

diff --git a/Makefile.in b/Makefile.in
index 9cc1993f23b8db0b38a1fb611cb98477bfae914e..6d0d0625fe9027dc0204b0842923246a9b6aabd5 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -113,6 +113,10 @@ no-exes:
 
 # === Misc
 
+Makefile config.mk: config.stamp
+config.stamp: $(CFG_SRC_DIR)configure $(CFG_SRC_DIR)Makefile.in
+       $(CFG_SRC_DIR)configure $(CFG_CONFIGURE_ARGS)
+
 clean-all: clean
 clean:
        rm -rf $(TARGET_ROOT)